#type inference